Objectifs d'apprentissage
- Concevoir des arbres logiques redondants pour les séquences de commandes critiques
- Identifier et atténuer les conditions de course logiques dans les manœuvres automatisées des engins spatiaux
- Développer des protocoles de validation multicouches pour les transitions de télémesure au sol vers l'espace